การปฏิเสธแบบร่วม ของ NOR (ตรรกศาสตร์)

NOR มีลักษณะที่น่าสนใจโดยตัวดำเนินการตรรกะอื่นๆสามารถแสดงในรูปแบบฟังก์ชันของ NOR

"not p" is equivalent to "p NOR p" p ¯ ≡ p + p ¯ {\displaystyle {\overline {p}}\equiv {\overline {p+p}}}
"p and q" สมมูลในรูป "(p NOR p) NOR (q NOR q)" p ⋅ q ≡ ( p + p ) ¯ + ( q + q ) ¯ ¯ {\displaystyle p\cdot q\equiv {\overline {{\overline {(p+p)}}+{\overline {(q+q)}}}}}
"p or q" สมมูลในรูป "(p NOR q) NOR (p NOR q)" p + q ≡ ( p + q ) ¯ + ( p + q ) ¯ ¯ {\displaystyle p+q\equiv {\overline {{\overline {(p+q)}}+{\overline {(p+q)}}}}}
"p implies q" สมมูลในรูป "((p NOR q) NOR q) NOR ((p NOR q) NOR q)" p → q ≡ ( ( p + q ) ¯ + q ) ¯ + ( ( p + q ) ¯ + q ) ¯ ¯ {\displaystyle p\rightarrow q\equiv {\overline {{\overline {({\overline {(p+q)}}+q)}}+{\overline {({\overline {(p+q)}}+q)}}}}}

ตรรกะ NAND มีความสามารถแสดงแทนได้เช่นกัน